Pet Formalisms versus Industry-Proven Survivors: Issues on Formal Methods Education
نویسنده
چکیده
Journal of Research and Practice in Information Technology, Vol. 32, No. 1, February 2000 39 Pet Formalisms versus Industry-Proven Survivors: Issues on Formal Methods Education S.D. Cha Department of Computer Science and Advanced Information Technology Research Centre (AITrc) Korea Advanced Institute of Science and Technology (KAIST) 373–1 Kusong-dong, Yusong-gu Taejon, Korea Phone: 82-42-869-3535 Fax: 82-42-869-3510 Email: [email protected]
منابع مشابه
Relevance, Integration and Classification of Specification Formalisms and Formal Specification Techniques
The purpose of this paper is to discuss the relevance of formal specification techniques versus informal and semi-formal techniques and to propose classification aspects for the great variety of specification formalisms. A formal specification technique is considered to be a specification formalism together with a possibly domain specific methodology for the software development process. For th...
متن کاملTeachers' Attitudes towards Teaching in Formal vs. Informal ELT Contexts
Up to now, many studies have been done to show the origin of attitudes and their relationships with behaviors or actions. Some of those works have focused on students' attitudes and some have introduced the various contexts of language teaching and learning. These studies were enough to give a new impetus for conducting the present investigation. This paper investigated the teachers' attitudes ...
متن کاملTowards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap
In this paper we discuss issues in the development of formal methods for use in aerospace applications, reflecting our experience in working with both Rolls-Royce and British Aerospace. We discuss some of the key factors which we believe govern the application of discrete mathematics to aerospace applications, drawing comparisons with applied engineering mathematics in other domains. We give an...
متن کاملFormal methods in software development: a road less travelled
An integration of traditional verification techniques and formal specifications in software engineering is presented. Advocates of such techniques claim that mathematical formalisms allow them to produce quality, verifiably correct, or at least highly dependable software and that the testing and maintenance phases are shortened. Critics on the other hand maintain that software formalisms are ha...
متن کاملIssues pertaining to PET imaging of liver cancer
Positron emission tomography (PET) imaging using 2-deoxy-2-[F-18]fluoro-D-glucose (FDG) has proven valuable in the diagnosis, staging and restaging for many cancers. However, its application for liver cancer has remained limited owing in part to the relatively high background uptake of the tracer in the liver plus the significant variability of the tumor specific uptake in liver cancer among pa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Journal of Research and Practice in Information Technology
دوره 32 شماره
صفحات -
تاریخ انتشار 2000